1841. Progress in mathematical programming:interior-point & related
پدیدآورنده : MEGIDDO,NIMROD
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : PROGRAMMING )MATHEMATICS(-CONGRESSES , LINEAR PROGRAMMING-CONGRESSES
رده :
QA
402
.
5
.
P785
1987
1842. Proof and system-reliability
پدیدآورنده : edited by Helmut Schwichtenberg and Ralf Steinbrüggen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer systems -- Reliability -- Congresses.,Computer systems -- Reliability.,Proof theory -- Congresses.
1843. Proof technology and computation /
پدیدآورنده : edited by Helmut Schwichtenberg and Katharina Spies.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Automatic theorem proving, Congresses.,Computer programming, Congresses.,Computer software-- Development, Congresses.,Automatic theorem proving.,Computer programming.,Computer software-- Development.,COMPUTERS-- Expert Systems.
رده :
QA76
.
9
.
A96
N38
2003eb
1844. Psedo-Boolean methods for bivalent Programming
پدیدآورنده : Ivanescu, Petru L
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Programming )Mathematics(,، Algebra, Boolean
رده :
QA
3
.
L28
no
.
23
1845. Pseudo-Boolean Methods for Bivalent Programming
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع :
1846. Pseudo-Boolean methods for bivalent programing
پدیدآورنده : Ivanescu, Petru L.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Programming )Mathematics(,، Algebra, Boolean
رده :
QA
3
.
L28
Vol
.
23
1847. Pseudo-Boolean methods for bivalent programming
پدیدآورنده : Ivanescu, P. L.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Programming )Mathematics(,، Algebra, Boolean
رده :
QA
1
.
L4
v
.
23
1848. Pseudo-Boolean methods for bivalent programming
پدیدآورنده : Hammer, P. L.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Programming )Mathematics(,، Algebra, Boolean
رده :
QA
3
.
L28
no
.
23
1849. Pseudo-Boolean methods for bivalent programming
پدیدآورنده : Hammer, P. L., 6391-6002
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Programming )Mathematics(,، Algebra, Boolean
رده :
QA
266
.
H24
1966
1850. Pseudo-Boolean programming and applications
پدیدآورنده : Hammer, Peter L.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Programming )Mathematics(,، Algebra, Boolean
رده :
QA
3
.
L28
no
.
9
1851. Pseudo-Boolean programming and applications
پدیدآورنده : Ivanescu, Petru L.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Programming )Mathematics(,، Algebra, Boolean
رده :
QA
3
.
L28
Vol
.
9
1852. Pseudo-Boolean programming and applications.]Lectures[ presented at the Colloquium on Mathematics and Cybernetics in the Economy, Berlin, October 1964
پدیدآورنده : Hammer, P. L.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Programming )Mathematics(,، Algebra, Boolean
رده :
QA
3
.
L28
no
.
9
1853. Pseudo-Boolean programming and applications : Presented at the Colloquium on Mathematics and Cybernetics in the Economy, Berlin, October 1964
پدیدآورنده : Ivanescu, Petru L.
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Programming )Mathematics(,، Algebra, Boolean
رده :
QA
402
.
5
.
I8
1965
1854. Pseudo-Boolean programming and applications, presented at the colloquium on mathematics and cybernetics in the economy, Berlin, October, 1964
پدیدآورنده : Ivanescu, Petru
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Algebra, Boolean,، Operations research
رده :
QA
1
.
L4
v
.
9
1855. Python :--Programming for computations
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer science ; Mathematics. ;
1856. Python essential reference /
پدیدآورنده : David M. Beazley.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Python (Computer program language),Befehlsvorrat,Befehlsvorrat.,Python,Python (Computer program language),Python 2.4,Python 2.4.
رده :
QA76
.
73
.
P98
B43
2009
1857. Python for Probability, Statistics, and Machine Learning /
پدیدآورنده : by José Unpingco.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Data mining.,Engineering mathematics.,Statistics.,Telecommunication.,Probabilities-- Data processing.,Python (Computer program language),Statistics-- Data processing.
رده :
QA76
.
73
.
P98
U57
2019
1858. Python for probability, statistics, and machine learning /
پدیدآورنده : Jos�e Unpingco.,Unpingco, Jos�e,
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Python (Computer program language),Probabilities,Statistics,Machine learning.,Data processing.,Data processing.
رده :
QA76
.
73
.
P98U4
2022
1859. Quadratic Programming with Computer Programs
پدیدآورنده : \ Michael J. Best
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Quadratic programming -- Computer programs,Quadratic programming
رده :
E-Book
,
1860. Quadratic programming: algorithms, anomalies ]and[ applications
پدیدآورنده : Boot, John C. G.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Programming )Mathematics(
رده :
QA
264
.
B6
